On rational definite summation
نویسنده
چکیده
We present a partial proof of van Hoeij-Abramov conjecture about the algorithmic possibility of computation of finite sums of rational functions. The theoretical results proved in this paper provide an algorithm for computation of a large class of sums (1).
منابع مشابه
A conjecture in the problem of rational definite summation
A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.
متن کاملSymbolic Summation | Some Recent Developments
In recent years, the problem of symbolic summation has received much attention due to the exciting applications of Zeilberger’s method for definite hypergeometric summation. This lead to renewed interest in the central part of the algorithmic machinery, Gosper’s “classical” method for indefinite hypergeometric summation. We review some of the recent (partly unpublished as yet) work done in this...
متن کاملAlgorithms for the Indefinite and Definite Summation
The celebrated Zeilberger algorithm which finds holonomic recurrence equations for definite sums of hypergeometric terms F (n, k) is extended to certain nonhypergeometric terms. An expression F (n, k) is called hypergeometric term if both F (n + 1, k)/F (n, k) and F (n, k+1)/F (n, k) are rational functions. Typical examples are ratios of products of exponentials, factorials, Γ function terms, b...
متن کاملImprovement of the Degree Setting in Gospers's Algorithm
Gosper’s algorithm for indefinite hypergeometric summation (see Gosper (1978), Lafon (1983) or Graham, Knuth and Patashnik (1989)) belongs to the standard methods implemented in most computer algebra systems. Current interest in this algorithm is mainly due to the fact that it can also be used for definite hypergeometric summation (e.g. verifying binomial identities “automatically”, finding rec...
متن کاملON SOME p-ADIC SERIES WITH FACTORIALS
In the last nine years p-adic numbers have been successfully applied in various branches of theoretical and mathematical physics (for a review see [1-3]). One of the objects which we often encounter is a p-adic series. My interest in p-adic series is mainly motivated by the significant role they might play not only in pure but also in applied mathematics. It was initiated in 1987 [4] by an obse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره cs.SC/0407059 شماره
صفحات -
تاریخ انتشار 2004